Ext^ZZ(Module,Matrix) -- map between Ext modules

• Scripted functor: Ext

• Usage:

  Ext^i(M,f)

• Inputs:
  • i, an integer
  • M, a module
  • f, a matrix, N1 --> N2
• Outputs:
  • a matrix, the induced map $Ext^i(M,N1) \rightarrow{} Ext^i(M,N2)$